It is confusing to treat outdated extensions as if they didn't exist
in some places, but like any other extensions elsewhere. In particular
gnome-tweak-tool still allows to launch prefs for them while making
it clear to users that the extension will not work - opening the
list of installed extensions in that case is unexpected and confusing.
Just remove the version check for now, we will soon follow tweak-tool
and use it to disable the extension switch instead.
https://bugzilla.gnome.org/show_bug.cgi?id=736185
_extensionAvailable: function(uuid) {
let extension = ExtensionUtils.extensions[uuid];
- let checkVersion = !this._settings.get_boolean('disable-extension-version-validation');
if (!extension)
return false;
- if (checkVersion && ExtensionUtils.isOutOfDate(extension))
- return false;
-
if (!extension.dir.get_child('prefs.js').query_exists(null))
return false;